Testing Types And Artifacts